On the self-testing (m,n)-code checker design

Berger Code Totally Self-Checking Checker Design for Embedded Adder Cores

Totally self-checking (TSC) adder design based on the Berger code is proposed for embedded adder cores. A self-checking circuit can execute on-line testing in normal system operation. TSC can immediately detect the error of an electronic system or a computer to avoid the data damaged or the malfunction of a function circuit. Hence, TSC can enhance the reliability of an electronic system, i.e., ...

TSC Berger-Code Checker Design for 2r-1-Bit Information

Berger code (BC) is an optimal separable code which can detect all single stuck-at and unidirectional faults. The traditional BC checker is not totally self-checking (TSC) when k = 2r-1, where k is the number of information bits in a code word, and r is the number of check bits. The case in which k = 2r-1, however, is important and practical since information words in most digital systems are i...

A Design Technique of TSC Checker for Borden's Code

A systematic method of designing TSC checker for Q class (even code length) of Borden’s code [l] is proposed, where a modular approach is used. In a comparative study, it is found that the proposed method is much better than [2,3] and it has a larger capability than [4,5] in designing the checker. For instance, the 3/12 code in C(12,2) can be identified in one of four ways, corresponding to PT’...

Consistency Checker Intermediate Code Prover Intermediate Code Diagnostics

The Espress project aims at a method for the development of safety-critical embedded technical systems which bases on strong mathematical concepts. To make such a method competetive with other approaches nowadays common in industrial practise it must be ultimatively supported by an elaborated set of tools integrated in a software development environment (SDE). Since the Espress project is not c...

Code Proof VCGen Proof checker Axioms